The prop of matrices over a rig